Speedup for Natural Problems and NP=?coNP

نویسنده

  • Hunter Monroe
چکیده

Informally, a language L has speedup if, for any Turing machine (TM) for L, there exists one that is better. Blum [2] showed that there are computable languages that have almost-everywhere speedup. These languages were unnatural in that they were constructed for the sole purpose of having such speedup. We identify a condition apparently only slightly stronger than P 6= NP which implies that accepting any coNP -complete language has an infinitely-often (i.o.) superpolynomial speedup and NP 6= coNP . We also exhibit a natural problem which unconditionally has a weaker type of i.o. speedup based upon whether the full input is read. Neither speedup pertains to the worst case.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Speedup for Natural Problems

Informally, a language L has speedup if, for any Turing machine (TM) for L, there exists one that is better. Blum [1] showed that there are computable languages that have almost-everywhere speedup. These languages were unnatural in that they were constructed for the sole purpose of having such speedup. We identify an intuitive condition which, like several others in the literature, implies that...

متن کامل

Inverse HAMILTONIAN CYCLE and Inverse 3-D MATCHING Are coNP-Complete

In this paper we show that the Inverse problems of HAMILTONIAN CYCLE and 3D-MATCHING are coNP complete. This completes the study of inverse problems of the six natural NP-complete problems from [GJ79] and answers an open question from [Ch03]. We classify the inverse complexity of the natural verifier for HAMILTONIAN CYCLE and 3D-MATCHING by showing coNP-completeness of the corresponding inverse...

متن کامل

S 6810 Theory of Computing February 3 , 2009 Lecture 5 : Polynomial Hierarchy Instructor : Rafael Pass Scribe : Navin Sivakumar

Recall that NP can be thought of as the class of languages consisting of strings for which there exists an easily verifiable proof. Similarly, the complementary class coNP can be interpreted as the class of languages consisting of strings for which all proofs fail. Intuitively, problems in NP ask whether there exists a string satisfying certain properties, whereas problems in coNP whether all s...

متن کامل

A Deductive Inference for the Interiors and Exteriors of Horn Theories

In this paper, we investigate deductive inference for interiors and exteriors of Horn knowledge bases, where interiors and exteriors were introduced by Makino and Ibaraki [Makino and Ibaraki 1996] to study stability properties of knowledge bases. We present a linear time algorithm for deduction for interiors and show that deduction is coNP-complete for exteriors. Under model-based representatio...

متن کامل

A Algorithms and Complexity for Periodic Real-Time Scheduling

We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even in the uniprocessor case, no pseudopolynomial time algorithm can test the feasibility of a task system within a constant speedup bound, unless P = NP. This result contrasts with recent results for sporadic task systems. For two special cases, synchronous task systems and systems with a constant nu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0906.3765  شماره 

صفحات  -

تاریخ انتشار 2009